$\forall$$i$:Id, $k$:Knd. has{-}src($i$;$k$) $\Leftrightarrow$ isrcv($k$) \& source(lnk($k$)) $=$ $i$